An Event-B Approach to Data Sharing Agreements

نویسندگان

  • Álvaro Enrique Arenas
  • Benjamin Aziz
  • Juan Bicarregui
  • Michael D. Wilson
چکیده

A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the deontic notions of obligation, prohibition and permission. In this paper, we present how to model DSAs using the Event-B specification language. Agreement clauses are modelled as temporal-logic formulas that preserve the intuitive meaning of the deontic operators, and constrain the actions that a principal can execute. We have exploited the ProB animator and model checker in order to verify that a system behaves according to its associated DSA and to validate that principals’ actions are in agreement with the DSA clauses.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

اشتراک‌گذاری داده‌های پژوهشی: رویکردهای ملی و بین‌المللی

Information and Communication Technologies (ICTs) have significant role in producing research data in different scientific fields. These data not only lead to generate fields based on research data, but also cause to produce a new paradigm or approach in research which is called Fourth Paradigm or Data Intensive Researches. These researches are based on data sharing by researchers, organization...

متن کامل

Judgment-sharing Agreements

Antitrust law condemns price-fixing cartels and seeks to encourage private suits against the conspirators by automatically trebling antitrust damages and by providing for joint and several liability. Because the Supreme Court has held that there is no right to contribution among antitrust violators, this creates the risk of a single defendant being saddled with damages significantly greater tha...

متن کامل

Explain the Role of Psychological Capital in Knowledge Sharing of an Organization

Explain the Role of Psychological Capital in Knowledge Sharing of an Organization Abstract The aim of present study was to investigate knowledge sharing approach as essential factor in the advancement of organization's purposes and also the effect of psychological capital dimensions in improving and accelerating of this process and want to measure these effects in transferring knowledge among i...

متن کامل

A Repetitive Control- based Approach for Power Sharing among Boost Converters in DC Microgrids

In this paper a repetitive control (RC) approach to improve current sharing between parallel-connected boost converters in DC microgrids is presented. The impact of changes in line impedance on current sharing is investigated. A repetitive controller is designed and connected in series with current controller of the boost converters to control the switching signals such that by regulating of th...

متن کامل

A national survey of immunization programs regarding immunization information systems data sharing and use.

OBJECTIVE To determine and characterize practices regarding data sharing and usage (particularly for research) in immunization information systems (IISs), as well as barriers to using such data for research. DESIGN We surveyed immunization program managers (IPMs) associated with all 64 Centers for Disease Control and Prevention grantee immunization programs (IPs) between July and September 20...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010